An Efficient Metamorphic Testing Technique Using Genetic Algorithm
نویسندگان
چکیده
Testing helps in preserving the quality and reliability of the software component thus ensuring its successful functioning. The task of testing components for which the final output for arbitrary input cannot be known in advance is a challenging task; as sometimes conditions or predicates in the software restrict the input domain Metamorphic testing is an effective technique for testing systems that do not have test oracles. In it existing test case input is modified to produce new test cases in such a manner that they satisfy the metamorphic relations. In this paper, we propose a genetically augmented metamorphic testing approach, which integrates genetic algorithms into metamorphic testing, to detect subtle defects and to optimize test cases for the component. We have further verified metamorphic testing results by all path coverage criteria information, which is generated during the metamorphic testing of the program and its mutants. The effectiveness of the approach has been investigated through testing a triangle type determination program.
منابع مشابه
Testing a Software-based PID Controller using Metamorphic Testing
The Proportional-Integral-Derivative (PID) controller is ubiquitous in industrial and military systems. Almost all PID controllers are now implemented as software in a microcontroller. Control systems are required to have very high reliability, particularly as they are regularly used in safety-critical systems. An effective testing technique is essential to achieve reliable PID controller softw...
متن کاملAn empirical study on statistical analysis and optimization of EDM process parameters for inconel 718 super alloy using D-optimal approach and genetic algorithm
Among the several non-conventional processes, electrical discharge machining (EDM) is the most widely and successfully applied for the machining of conductive parts. In this technique, the tool has no mechanical contact with the work piece and also the hardness of work piece has no effect on the machining pace. Hence, this technique could be employed to machine hard materials such as super allo...
متن کاملSignal Identification Using a New High Efficient Technique
Automatic signal type identification (ASTI) is an important topic for both the civilian and military domains. Most of the proposed identifiers can only recognize a few types of digital signal and usually need high levels of SNRs. This paper presents a new high efficient technique that includes a variety of digital signal types. In this technique, a combination of higher order moments and hi...
متن کاملAn Efficient Genetic Algorithm for Task Scheduling on Heterogeneous Computing Systems Based on TRIZ
An efficient assignment and scheduling of tasks is one of the key elements in effective utilization of heterogeneous multiprocessor systems. The task scheduling problem has been proven to be NP-hard is the reason why we used meta-heuristic methods for finding a suboptimal schedule. In this paper we proposed a new approach using TRIZ (specially 40 inventive principles). The basic idea of thi...
متن کاملOptimal Placement of Phasor Measurement Units in Khorasan Network Using a Hybrid Intelligent Technique
In this paper, an efficient and comprehensive hybrid intelligent technique for the optimal placement of phasor measurement units (PMUs) is proposed to minimize the number of PMU installation subjected to full network observability. Three main purposes of PMUs output synchronous measurements are monitoring, control, and protection of power system. We have combined Binary Imperialistic Competitio...
متن کامل